Minor clarification.

diff --git a/etc/NEWS b/etc/NEWS
index 0613ba3166a35dc2b047e5ee7cc065c0dbcad2b2..d7a0d991546097552d059f576afae75794eed1d6 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -2413,7 +2413,8 @@ See the sections below for details.
 
 ** Since `format' preserves text properties, the idiom
 `(format "%s" foo)' no longer works to copy and remove properties.
-Use `copy-sequence' and `set-text-properties'.
+Use `copy-sequence' to copy the string, then use `set-text-properties'
+to remove the properties of the copy.
 
 ** Since the `keymap' text property now has significance, some code
 which uses both `local-map' and `keymap' properties (for portability)